Issue2880.agda:8,1-51
COMPILE pragma not allowed in safe mode.
Issue2880.agda:15,3-31
COMPILE pragma not allowed in safe mode.
Issue2880.agda:20,3-31
COMPILE pragma not allowed in safe mode.
